/**
 * 输出 1到n之间 的与 7 有关数字的个数。
  一个数与7有关是指这个数是 7 的倍数，或者是包含 7 的数字（如 17 ，27 ，37 ... 70 ，71 ，72 ，73...）
*/
const readline = require('readline')
const rl = readline.createInterface({
  input:process.stdin,
  output:process.stdout
})


function transform(input) {
  input = parseInt(input)
  let resArr = []
  for (let idx = input; idx > 0; idx--) {
    if ((idx % 7 == 0) || idx.toString().includes('7')) resArr.push(idx)
  }
  console.log(resArr.length)
}

// 本地测试
// let input = '20'
// transform(input)


// 提交测试
rl.on('line', (line) => {
  transform(line)
})